$\forall$$M$:MsgA, $l$:IdLnk, ${\it tg}$:Id. $M$.dout2($l$;${\it tg}$) $\subseteq\rho$ $M$.dout($l$,${\it tg}$)